____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b
Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―
Simson-IdentitΓ€t
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
top
Die Cassini-IdentitΓ€t oder Simson-IdentitΓ€t beschreibt eine Beziehung dreier aufeinander folgender Fibonacci-Zahlen. Sie ist nach Giovanni Domenico Cassini (1625β1712) beziehungsweise Robert Simson (1687β1768) benannt, die sie unabhΓ€ngig voneinander bewiesen, und zudem ein Spezialfall der allgemeineren IdentitΓ€t von Catalan.
Contents
β’ Beweis
β’ Geschichte
β’ Literatur
β’ Weblinks
β’ Einzelnachweise
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
IdentitΓ€t und Verallgemeinerungen
FΓΌr drei aufeinander folgende Fibonacci-Zahlen f n β β 1 , f n , f n + 1 {\displaystyle f_{n-1},f_{n},f_{n+1}} mit n β β N {\displaystyle n\in \mathbb {N} } gilt:cite-ref-1[1]
f n β β 1 f n + 1 β β f n 2 = ( β β 1 ) n {\displaystyle f_{n-1}f_{n+1}-f_{n}^{2}=(-1)^{n}}
Dies ist ein Spezialfall der IdentitΓ€t von Catalan ( n , k β β N , n > k {\displaystyle n,k\in \mathbb {N} ,\,n>k} )cite-ref-koshy-2-0[2]
f n 2 β β f n β β k f n + k = ( β β 1 ) n β β k f k 2 {\displaystyle f_{n}^{2}-f_{n-k}f_{n+k}=(-1)^{n-k}f_{k}^{2}} ,
die sich wiederum zur IdentitΓ€t von Vadja ( n , i , j β β N {\displaystyle n,i,j\in \mathbb {N} } ) verallgemeinern lΓ€sst:cite-ref-west-3-0[3]
f n + i f n + j β β f n f n + i + j = ( β β 1 ) n f i f j {\displaystyle f_{n+i}f_{n+j}-f_{n}f_{n+i+j}=(-1)^{n}f_{i}f_{j}} .
Beweis
Ein sehr kurzer Beweis der Cassini-IdentitΓ€t ergibt sich aus der Matrixdarstellung der Fibonacci-Zahlen:cite-ref-4[4]
f n β β 1 f n + 1 β β f n 2 = det ( [ f n + 1 f n f n f n β β 1 ] ) = det ( [ 1 1 1 0 ] n ) = det ( [ 1 1 1 0 ] ) n = ( β β 1 ) n {\displaystyle f_{n-1}f_{n+1}-f_{n}^{2}=\det \left(\left[{\begin{matrix}f_{n+1}&f_{n}\\f_{n}&f_{n-1}\end{matrix}}\right]\right)=\det \left(\left[{\begin{matrix}1&1\\1&0\end{matrix}}\right]^{n}\right)=\det \left(\left[{\begin{matrix}1&1\\1&0\end{matrix}}\right]\right)^{n}=(-1)^{n}}
Geschichte
Der franzΓΆsische Astronom und Mathematiker Cassini bewies die IdentitΓ€t 1680 und der schottische Mathematiker Simson unabhΓ€ngig davon 1753.cite-ref-koshy-2-1[2] Allerdings war die IdentitΓ€t vermutlich auch schon Johannes Kepler um 1608 bekannt.cite-ref-5[5] Der belgische Mathematiker EugΓ¨ne Charles Catalan (1814β1894) publizierte die nach ihm benannte IdentitΓ€t 1879.cite-ref-koshy-2-2[2] Der britische Mathematiker Steven Vajda (1901β1995) schrieb ein Buch ΓΌber Fibonaccizahlen (Fibonacci and Lucas Numbers, and the Golden Section: Theory and Applications, 1989), in dem die nach ihm benannte IdentitΓ€t enthalten ist.cite-ref-west-3-1[3]cite-ref-6[6] Allerdings wurde diese IdentitΓ€t auch schon 1960 von Dustan Everman im The American Mathematical Monthly verΓΆffentlicht.cite-ref-koshy-2-3[2]
Literatur
β’ Thomas Koshy: Fibonacci and Lucas Numbers with Applications. Wiley, 2001, ISBN 9781118031315, S. 74β75, 83, 88
β’ Albrecht Beutelspacher, Bernhard Petri: Der Goldene Schnitt. Spektrum, Heidelberg/Berlin/Oxford 1996. ISBN 3-86025-404-9, S. 91β93
Weblinks
β’ Eric W. Weisstein: Cassini's Identity. In: MathWorld (englisch).
β’ Cassini's Identity auf cut-the-knot.org
β’ Cassini's Identity im ProofWiki
Einzelnachweise
cite-note-11. β Albrecht Beutelspacher, Bernhard Petri: Der Goldene Schnitt. Spektrum, Heidelberg/Berlin/Oxford 1996. ISBN 3-86025-404-9, S. 91β93
cite-note-koshy-22. β Thomas Koshy: Fibonacci and Lucas Numbers with Applications. Wiley, 2001, ISBN 9781118031315, S. 74β75, 83, 88
cite-note-west-33. β Douglas B. West: Combinatorial Mathematics. Cambridge University Press, 2020, S. 61
cite-note-44. β Donald E. Knuth: The Art of Computer Programming, Volume 1: Fundamental Algorithms. Addison-Wesley, ISBN 0-201-89683-4, S. 81
cite-note-55. β Miodrag Petkovic: Famous Puzzles of Great Mathematicians. AMS, 2009, ISBN 9780821848142, S. 30β31
cite-note-66. β Steven Vadja: Fibonacci and Lucas Numbers, and the Golden Section: Theory and Applications. Dover, 2008, ISBN 978-0486462769, S. 28 (Erstpublikation 1989 bei Ellis Horwood)